CSE 431 Introduction to Theory of Computation Creditshrs. lecture) Lead Instructor Anup Rao Textbook

Source URL: courses.cs.washington.edu

Correlation Bounds Against Monotone NC1 Benjamin Rossman∗ National Institute of Informatics, Tokyo, Japan Simons Institute for the Theory of Computation, Berkeley, USA

Source URL: drops.dagstuhl.de

Local ITG-like Instability in the Two-fluid and Extended MHD Models in Slab Geometry D. D. Schnack∗, D. C. Barnes†, Ping Zhu, C. C. Hegna and C. R. Sovinec Center for Plasma Theory and Computation Department of Engin

Source URL: www.cptc.wisc.edu

Bio Sketch for Rod Downey What area of maths do you mostly work in? I work in the mathematics of computation, complexity theory, and algorithmic randomness. Tell us a bit more...

Source URL: www.mathsreach.org

A fully abstract semantics for a higher-order functional language with nondeterministic computation A LAN J EFFREY A BSTRACT. This paper is about the relationship between the theory of monadic types and the practice of c

Source URL: ect.bell-labs.com

• Category theory
• Models of computation
• Adjoint functors
• Functional programming
• Logic in computer science
• Denotational semantics
• Lambda calculus
• Cartesian closed category
• Sheaf
• F-algebra
• Kleisli category
• Monad

PDF Document

Source URL: highlights-conference.org

• Algebra
• Mathematics
• Complexity classes
• Vectors
• Theory of computation
• Diagrams
• Petri net
• Reachability
• P
• FO
• Vector space
• Euclidean vector

PDF Document

Source URL: lama.univ-savoie.fr

• Logic in computer science
• Game theory
• Models of computation
• Formal methods
• Denotational semantics
• Game semantics
• Semantics
• Strategy
• Equivalence of categories
• Sheaf

PDF Document

Source URL: www.math.stevens.edu

• Theory of computation
• Computational complexity theory
• Theoretical computer science
• Computability theory
• Analysis of algorithms
• Complexity classes
• Generic-case complexity
• Halting problem
• Time complexity
• Algorithm
• NP
• Randomized algorithm

PDF Document

Source URL: ncgia.ucsb.edu

• Complex systems theory
• Simulation
• Metaphysics
• Systems science
• Academia
• Scientific modeling
• Multi-agent systems
• Models of computation
• Agent-based model
• Emergence
• Intelligent agent
• Scientific modelling

PDF Document

Source URL: jeapostrophe.github.io

• Email
• Email spam
• Spamming
• Statistics
• Statistical theory
• Theory of computation
• Estimation theory
• Computing
• Statistical inference